Tsuchiya, Tatsuhiro : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (105)
Les plus populaires
Liste
- Liste
- Tableau

1

A new method for constructing pair-wise covering designs for software testing

Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno

Journal:

Information Processing Letters

Année:

2002

Langue:

english

Fichier:

PDF, 106 KB

english, 2002

2

[IEEE 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC) - Shanghai, China (2009.11.16-2009.11.18)] 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing - Using the NuSMV Model Checker for Test Generation from Statecharts

Kadono, Masaya, Tsuchiya, Tatsuhiro, Kikuno, Tohru

Année:

2009

Langue:

english

Fichier:

PDF, 188 KB

english, 2009

3

Oblique coronal and oblique sagittal MRI for diagnosis of anterior cruciate ligament tears and evaluation of anterior cruciate ligament remnant tissue

Kosaka, Masahiro, Nakase, Junsuke, Toratani, Tatsuhiro, Ohashi, Yoshinori, Kitaoka, Katsuhiko, Yamada, Hiroshi, Komura, Koji, Nakamura, Shinji, Tsuchiya, Hiroyuki

Journal:

Année:

2014

Langue:

english

Fichier:

PDF, 447 KB

english, 2014

4

New aspects in bis and tris(dipyrrinato)metal complexes: bright luminescence, self-assembled nanoarchitectures, and materials applications

Sakamoto, Ryota, Iwashima, Toshiki, Tsuchiya, Mizuho, Toyoda, Ryojun, Matsuoka, Ryota, Kögel, Julius F., Kusaka, Shinpei, Hoshiko, Ken, Yagi, Toshiki, Nagayama, Tatsuhiro, Nishihara, Hiroshi

Journal:

Journal of Materials Chemistry A

Année:

2015

Langue:

english

Fichier:

PDF, 5.07 MB

english, 2015

5

Conformation control of a conjugated polymer through complexation with bile acids generates its novel spectral and morphological properties

Tsuchiya, Youichi, Noguchi, Takao, Yoshihara, Daisuke, Roy, Bappaditya, Yamamoto, Tatsuhiro, Shinkai, Seiji

Journal:

Année:

2016

Langue:

english

Fichier:

PDF, 1.98 MB

english, 2016

6

Data access control for energy-related services in smart public infrastructures

Kawada, Yohei, Yano, Kojin, Mizuno, Yoshihiro, Tsuchiya, Tatsuhiro, Fujisaki, Yasumasa

Journal:

Computers in Industry

Année:

2017

Langue:

english

Fichier:

PDF, 586 KB

english, 2017

7

Inclusion of hot stamping operations in progressive-die plate forging of tailored high strength gear part

Mori, Ken-ichiro, Maeno, Tomoyoshi, Tsuchiya, Makoto, Nanya, Tatsuhiro

Journal:

The International Journal of Advanced Manufacturing Technology

Année:

2016

Langue:

english

Fichier:

PDF, 2.37 MB

english, 2016

8

[IEEE 2019 IEEE Wireless Communications and Networking Conference (WCNC) - Marrakesh, Morocco (2019.4.15-2019.4.18)] 2019 IEEE Wireless Communications and Networking Conference (WCNC) - Implementation and Evaluation of ISDSR in Emulation Environments

Shimizu, Shinnosuke, Kojima, Hideharu, Yanai, Naoto, Tsuchiya, Tatsuhiro

Année:

2019

Langue:

english

Fichier:

PDF, 489 KB

english, 2019

9

Counter-based reliability optimization for gossip-based broadcasting

Tatsuhiro Tsuchiya, Shinichi Ikeda, Tohru Kikuno

Journal:

Computer Communications

Année:

2006

Langue:

english

Fichier:

PDF, 477 KB

english, 2006

10

Byzantine quorum systems with maximum availability

Tatsuhiro Tsuchiya, Tohru Kikuno

Journal:

Information Processing Letters

Année:

2002

Langue:

english

Fichier:

PDF, 83 KB

english, 2002

11

Constructing Byzantine Quorum systems from combinatorial designs

Tatsuhiro Tsuchiya, Nobuhiko Ido, Tohru Kikuno

Journal:

Information Processing Letters

Année:

1999

Langue:

english

Fichier:

PDF, 87 KB

english, 1999

12

Genetics-based multiprocessor scheduling using task duplication

Tatsuhiro Tsuchiya, Tetsuya Osada, Tohru Kikuno

Journal:

Microprocessors and Microsystems

Année:

1998

Langue:

english

Fichier:

PDF, 471 KB

english, 1998

13

Minimizing the mean delay of quorum-based mutual exclusion schemes

Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno

Journal:

Journal of Systems and Software

Année:

2001

Langue:

english

Fichier:

PDF, 747 KB

english, 2001

14

A new approach to fault-tolerant scheduling using task duplication in multiprocessor systems

Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno

Journal:

Journal of Systems and Software

Année:

2000

Langue:

english

Fichier:

PDF, 355 KB

english, 2000

15

Non-specification-based approaches to logic testing for software

Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno

Journal:

Information and Software Technology

Année:

2002

Langue:

english

Fichier:

PDF, 416 KB

english, 2002

16

Modeling and evaluation of responsive multiprocessor systems

Tatsuhiro Tsuchiya, Yoshiaki Kakuda, Tohru Kikuno

Journal:

Systems and Computers in Japan

Année:

1996

Langue:

english

Fichier:

PDF, 883 KB

english, 1996

17

Verification of consensus algorithms using satisfiability solving

Tatsuhiro Tsuchiya, André Schiper

Journal:

Distributed Computing

Année:

2011

Langue:

english

Fichier:

PDF, 971 KB

english, 2011

18

Array-based comparative genomic hybridization analysis of high-grade neuroendocrine tumors of the lung

Wei-Xia Peng, Tatsuhiro Shibata, Hiroto Katoh, Akiko Kokubu, Yoshihiro Matsuno, Hisao Asamura, Ryosuke Tsuchiya, Yae Kanai, Fumie Hosoda, Tokuki Sakiyama, Misao Ohki, Issei Imoto, Johji Inazawa, Setsu

Journal:

Année:

2005

Langue:

english

Fichier:

PDF, 247 KB

english, 2005

19

Influence of Filler Types and Contents on Foaming Structures in ABS Microcellular Foams

Tsuchiya, Atsushi, Tateyama, Hirofumi, Kikuchi, Tokio, Takahashi, Tatsuhiro, Koyama, Kiyohito

Journal:

Polymer Journal

Année:

2007

Langue:

english

Fichier:

PDF, 491 KB

english, 2007

20

Unexpected chiral induction from achiral cationic polythiophene aggregates and its application to the sugar pattern recognition

Shiraki, Tomohiro, Dawn, Arnab, Tsuchiya, Youichi, Yamamoto, Tatsuhiro, Shinkai, Seiji

Journal:

Chemical Communications

Année:

2012

Langue:

english

Fichier:

PDF, 692 KB

english, 2012

21

Mutations of the epidermal growth factor receptor gene in atypical adenomatous hyperplasia and bronchioloalveolar carcinoma of the lung

Yoshida, Yukihiro, Shibata, Tatsuhiro, Kokubu, Akiko, Tsuta, Koji, Matsuno, Yoshihiro, Kanai, Yae, Asamura, Hisao, Tsuchiya, Ryosuke, Hirohashi, Setsuo

Journal:

Année:

2005

Langue:

english

Fichier:

PDF, 457 KB

english, 2005

22

Selective Detection of NADPH among Four Pyridine-Nucleotide Cofactors by a Fluorescent Probe Based on Aggregation-Induced Emission

Noguchi, Takao, Dawn, Arnab, Yoshihara, Daisuke, Tsuchiya, Youichi, Yamamoto, Tatsuhiro, Shinkai, Seiji

Journal:

Macromolecular Rapid Communications

Année:

2013

Langue:

english

Fichier:

PDF, 616 KB

english, 2013

23

Nonlinear fluorescence response driven by ATP-induced self-assembly of guanidinium-tethered tetraphenylethene

Noguchi, Takao, Shiraki, Tomohiro, Dawn, Arnab, Tsuchiya, Youichi, Ngoc Lien, Le Thi, Yamamoto, Tatsuhiro, Shinkai, Seiji

Journal:

Chemical Communications

Année:

2012

Langue:

english

Fichier:

PDF, 1.20 MB

english, 2012

24

[IEEE 2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing (PRDC) - Tokyo, Japan (2010.12.13-2010.12.15)] 2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing - On the Reliability of Cascaded TMR Systems

Hamamatsu, Masashi, Tsuchiya, Tatsuhiro, Kikuno, Tohru

Année:

2010

Langue:

english

Fichier:

PDF, 203 KB

english, 2010

25

[IEEE 2008 14th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC) - Taipei, Taiwan (2008.12.15-2008.12.17)] 2008 14th IEEE Pacific Rim International Symposium on Dependable Computing - Finding the Optimal Configuration of a Cascading TMR System

Hamamatsu, Masashi, Tsuchiya, Tatsuhiro, Kikuno, Tohru

Année:

2008

Langue:

english

Fichier:

PDF, 133 KB

english, 2008

26

Cyclization-Induced Turn-On Fluorescence System Applicable to Dicarboxylate Sensing

Noguchi, Takao, Roy, Bappaditya, Yoshihara, Daisuke, Tsuchiya, Youichi, Yamamoto, Tatsuhiro, Shinkai, Seiji

Journal:

Chemistry - A European Journal

Année:

2014

Langue:

english

Fichier:

PDF, 404 KB

english, 2014

27

[IEEE 2009 First International Workshop on Software Technologies for Future Dependable Distributed Systems (STFSSD) - Tokyo, Japan (2009.03.17-2009.03.17)] 2009 Software Technologies for Future Dependable Distributed Systems - Model Checking a Modular-Structured Nonblocking Atomic Commitment Protocol for Asynchronous Distributed Systems

Choi, Eun-Hye, Okamoto, Keishi, Tsuchiya, Tatsuhiro, Kikuno, Tohru

Année:

2009

Langue:

english

Fichier:

PDF, 337 KB

english, 2009

28

[IEEE 2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing (PRDC) - Pasadena, CA, USA (2011.12.12-2011.12.14)] 2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing - Gossiping with Network Coding

Tokuyama, Shun, Tsuchiya, Tatsuhiro, Kikuno, Tohru

Année:

2011

Langue:

english

Fichier:

PDF, 189 KB

english, 2011

29

Bulk Superconductivity in Fe 1+ y Te 0.6 Se 0.4 Induced by Removal of Excess Fe

Zhou, Wei, Sun, Yue, Zhang, Shuo, Zhuang, Jincheng, Yuan, Feifei, Li, Xiong, Shi, Zhixiang, Yamada, Tatsuhiro, Tsuchiya, Yuji, Tamegai, Tsuyoshi

Journal:

Journal of the Physical Society of Japan

Année:

2014

Langue:

english

Fichier:

PDF, 3.16 MB

english, 2014

30

[IEEE 2012 IEEE 18th Pacific Rim International Symposium on Dependable Computing (PRDC) - Niigata, Japan (2012.11.18-2012.11.19)] 2012 IEEE 18th Pacific Rim International Symposium on Dependable Computing - Safety Verification of Asynchronous Consensus Algorithms with Model Checking

Noguchi, Tatsuya, Tsuchiya, Tatsuhiro, Kikuno, Tohru

Année:

2012

Langue:

english

Fichier:

PDF, 264 KB

english, 2012

31

[IEEE 13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007) - Melbourne, Australia (2007.12.17-2007.12.19)] 13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007) - An Automatic Real-Time Analysis of the Time to Reach Consensus

Tsuchiya, Tatsuhiro, Schiper, Andre

Année:

2007

Langue:

english

Fichier:

PDF, 412 KB

english, 2007

32

[IEEE 2013 IEEE Eleventh International Symposium on Autonomous Decentralized Systems (ISADS) - Mexico City, Mexico (2013.3.6-2013.3.8)] 2013 IEEE Eleventh International Symposium on Autonomous Decentralized Systems (ISADS) - Software reconstruction and module management for distributed processing of train control

Terada, Hirofumi, Sato, Yutaka, Tsuchiya, Tatsuhiro, Kikuno, Tohru

Année:

2013

Langue:

english

Fichier:

PDF, 174 KB

english, 2013

33

[IEEE 2007 26th IEEE International Symposium on Reliable Distributed Systems (SRDS 2007) - Beijing, China (2007.10.10-2007.10.12)] 2007 26th IEEE International Symposium on Reliable Distributed Systems (SRDS 2007) - Model Checking of Consensus Algorit

Tsuchiya, Tatsuhiro, Schiper, Andre

Année:

2007

Langue:

english

Fichier:

PDF, 352 KB

english, 2007

34

[IEEE 2008 Second IEEE International Conference on Secure System Integration and Reliability Improvement (SSIRI) - Yokohama, Japan (2008.07.14-2008.07.17)] 2008 Second International Conference on Secure System Integration and Reliability Improvement - Pairwise Testing in the Presence of Configuration Change Cost

Kimoto, Shin, Tsuchiya, Tatsuhiro, Kikuno, Tohru

Année:

2008

Langue:

english

Fichier:

PDF, 148 KB

english, 2008

35

[IEEE 2012 IEEE 18th Pacific Rim International Symposium on Dependable Computing (PRDC) - Niigata, Japan (2012.11.18-2012.11.19)] 2012 IEEE 18th Pacific Rim International Symposium on Dependable Computing - A BDD-Based Approach to Reliability Optimal Module Allocation in Networks

Tsuchiya, Tatsuhiro

Année:

2012

Langue:

english

Fichier:

PDF, 208 KB

english, 2012

36

[IEEE Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007) - Cambridge, MA, USA (2007.07.12-2007.07.14)] Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007) - Constructing Overlay Networks with Low Link Costs and Short Paths

Makikawa, Fuminori, Matsuo, Takafumi, Tsuchiya, Tatsuhiro, Kikuno, Tohru

Année:

2007

Langue:

english

Fichier:

PDF, 226 KB

english, 2007

37

[IEEE 2011 Second International Conference on Networking and Computing (ICNC) - Osaka, Japan (2011.11.30-2011.12.2)] 2011 Second International Conference on Networking and Computing - Constructing Test Sets for Pairwise Testing: A SAT-Based Approach

Nanba, Toru, Tsuchiya, Tatsuhiro, Kikuno, Tohru

Année:

2011

Langue:

english

Fichier:

PDF, 138 KB

english, 2011

38

Translation of Dicarboxylate Structural Information to Fluorometric Optical Signals through Self-Assembly of Guanidinium-Tethered Oligophenylenevinylene

Noguchi, Takao, Roy, Bappaditya, Yoshihara, Daisuke, Tsuchiya, Youichi, Yamamoto, Tatsuhiro, Shinkai, Seiji

Journal:

Chemistry - A European Journal

Année:

2014

Langue:

english

Fichier:

PDF, 2.06 MB

english, 2014

39

[IEEE 2011 Second International Conference on Networking and Computing (ICNC) - Osaka, Japan (2011.11.30-2011.12.2)] 2011 Second International Conference on Networking and Computing - Bounded Model Checking of Concurrent Systems with Unbounded Integer Variables

Inoue, Hiroyuki, Tsuchiya, Tatsuhiro, Kikuno, Tohru

Année:

2011

Langue:

english

Fichier:

PDF, 159 KB

english, 2011

40

Frontispiece: Translation of Dicarboxylate Structural Information to Fluorometric Optical Signals through Self-Assembly of Guanidinium-Tethered Oligophenylenevinylene

Noguchi, Takao, Roy, Bappaditya, Yoshihara, Daisuke, Tsuchiya, Youichi, Yamamoto, Tatsuhiro, Shinkai, Seiji

Journal:

Chemistry - A European Journal

Année:

2014

Fichier:

PDF, 1.28 MB

2014

41

Dye-sensitised preparation of chiral plasmonic Ag nanoparticles on helical polysaccharides

Tsuchiya, Youichi, Noguchi, Takao, Yoshihara, Daisuke, Yamamoto, Tatsuhiro, Shiraki, Tomohiro, Tamaru, Shun-Ichi, Shinkai, Seiji

Journal:

Supramolecular Chemistry

Année:

2013

Langue:

english

Fichier:

PDF, 326 KB

english, 2013

42

[IEEE 2012 China International Conference on Electricity Distribution (CICED) - Shanghai, China (2012.09.10-2012.09.14)] 2012 China International Conference on Electricity Distribution - Proposal of environmental adaptation for the next-generation distribution SCADA system

Terada, Hirofumi, Onishi, Tsukasa, Tsuchiya, Tatsuhiro

Année:

2012

Langue:

english

Fichier:

PDF, 722 KB

english, 2012

43

[IEEE 2012 IEEE 18th International Conference on Parallel and Distributed Systems (ICPADS) - Singapore, Singapore (2012.12.17-2012.12.19)] 2012 IEEE 18th International Conference on Parallel and Distributed Systems - Maximizing Availability of Consistent Data in Unreliable Networks

Matsui, Yuki, Kojima, Hideharu, Tsuchiya, Tatsuhiro

Année:

2012

Langue:

english

Fichier:

PDF, 352 KB

english, 2012

44

[IEEE 2013 8th International Conference on System of Systems Engineering (SoSE) - Maui, HI, USA (2013.06.2-2013.06.6)] 2013 8th International Conference on System of Systems Engineering - A monitoring point selection approach for power distribution systems

Terada, Hirofumi, Onishi, Tsukasa, Tsuchiya, Tatsuhiro

Année:

2013

Langue:

english

Fichier:

PDF, 697 KB

english, 2013

45

[IEEE 2009 16th Asia-Pacific Software Engineering Conference (APSEC) - Batu Ferringhi, Penang, Malaysia (2009.12.1-2009.12.3)] 2009 16th Asia-Pacific Software Engineering Conference - Towards Automated Verification of Distributed Consensus Protocols

Minamikawa, Takahiro, Tsuchiya, Tatsuhiro, Kikuno, Tohru

Année:

2009

Langue:

english

Fichier:

PDF, 196 KB

english, 2009

46

[IEEE 2008 14th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC) - Taipei, Taiwan (2008.12.15-2008.12.17)] 2008 14th IEEE Pacific Rim International Symposium on Dependable Computing - Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms

Minamikawa, Takahiro, Tsuchiya, Tatsuhiro, Kikuno, Tohru

Année:

2008

Langue:

english

Fichier:

PDF, 205 KB

english, 2008

47

[IEEE 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering (HASE) - Miami Beach, FL, USA (2014.01.9-2014.01.11)] 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering - Modeling the Interaction of Power Line and SCADA Networks

Matsui, Yuki, Kojima, Hideharu, Tsuchiya, Tatsuhiro

Année:

2014

Langue:

english

Fichier:

PDF, 218 KB

english, 2014

48

[IEEE 2010 First International Conference on Networking and Computing (ICNC) - Higashi, Hiroshima, Japan (2010.11.17-2010.11.19)] 2010 First International Conference on Networking and Computing - Balance and Proximity-Aware Skip Graph Construction

Makikawa, Fuminori, Tsuchiya, Tatsuhiro, Kikuno, Tohru

Année:

2010

Langue:

english

Fichier:

PDF, 355 KB

english, 2010

49

[IEEE 2012 IEEE International Conference on Systems, Man and Cybernetics - SMC - Seoul, Korea (South) (2012.10.14-2012.10.17)] 2012 IEEE International Conference on Systems, Man, and Cybernetics (SMC) - Human activity classification by ECG and accelerometers aided by fuzzy logic

Fujimoto, Tatsuhiro, Nakajima, Hiroshi, Tsuchiya, Naoki, Marukawa, Hideya, Hata, Yutaka

Année:

2012

Langue:

english

Fichier:

PDF, 475 KB

english, 2012

50

Molecular recognition directed supramolecular control over perylene-bisimide aggregation resulting in aggregation induced enhanced emission (AIEE) and induced chiral amplification

Roy, Bappaditya, Noguchi, Takao, Tsuchiya, Youichi, Yoshihara, Daisuke, Yamamoto, Tatsuhiro, Shinkai, Seiji

Journal:

Journal of Materials Chemistry C

Année:

2015

Langue:

english

Fichier:

PDF, 1.31 MB

english, 2015